CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems
نویسندگان
چکیده
In this paper we will introduce a method for creating computational models of normative systems deduced from sources of norms in natural language. The authors show how to make formal interpretations of normative sources in natural language that result in a computational model, which includes explicit references to all sentences of sources of norms that are considered relevant by the interpreters to constitute a computational model. The models produced can easily be held in sync with these sources. The method presented is focused on the translation of laws in natural language into an executable computational form that can be easily validated by legal experts that have to decide on the desired interpretation of the source text. The model is tested in a prototype of a reasoner build in a newly developed domain specific language: FLINT. The model is based on Hohfeld’s fundamental legal concepts.
منابع مشابه
Teachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTowards Formal Proof Script Refactoring
We propose proof script refactorings as a robust tool for constructing, restructuring, and maintaining formal proof developments. We argue that a formal approach is vital, and illustrate by defining and proving correct a number of valuable refactorings in a simplified proof script and declarative proof language of our own design.
متن کاملEFL Students’ Attitudes towards Self-Access Language Learning Centers (SALC): The Case of Iranian ESP Students
This article presents the attitude of ESP learners towards the role of Self-Access Language Learning Centres in improving their reading comprehension. It provides an evaluation of the success of these contents as well as an interpretation of students’ understanding of the related concepts. Finally it identifies factors that enhance or hinder the successful implementation of Self-Access Language...
متن کامل